Homological algebra

Results: 899



#Item
231Homological algebra / Standard ML / Module / D-module / Functor / Struct / Abstract algebra / Mathematics / Mathematical analysis

Recursion for structured modules Keiko Nakata Research Institute for Mathematical Sciences, Kyoto University Abstract

Add to Reading List

Source URL: www.kurims.kyoto-u.ac.jp

Language: English - Date: 2005-02-17 05:34:11
232Computing / Functors / Category theory / Diagrams / Commutative diagram / Limit / Arrow / C syntax / TeX / Mathematics / Computer programming / Homological algebra

246 TUGboat, Volume), No. 3 Graphics Diagxy, a Lego-like diagram package

Add to Reading List

Source URL: www.tug.org

Language: English - Date: 2006-02-10 11:24:23
233

Towards Constructive Homological Algebra in Type Theory Thierry Coquand and Arnaud Spiwack 1 2

Add to Reading List

Source URL: assert-false.net

Language: English - Date: 2012-02-29 08:17:46
    234

    V erified Computing in Homological Algebra A Journey Exploring the Power and Limits of Dependent Type Theory Arnaud Spiwack

    Add to Reading List

    Source URL: assert-false.net

    Language: English - Date: 2012-02-29 08:16:48
      235Homological algebra / Noncommutative geometry / Homology theory / Group theory / Spectral triple / Spectral sequence / Cohomology / Closed and exact differential forms / Quantum group / Abstract algebra / Algebra / Algebraic topology

      arXiv:math.QAv1 12 SepCyclic Cohomology, Quantum group Symmetries and the Local Index Formula for SUq (2) Alain Connes

      Add to Reading List

      Source URL: www.alainconnes.org

      Language: English - Date: 2003-12-28 09:43:39
      236Homotopy theory / Homological algebra / Fiber bundles / K-theory / Assembly map / Homotopy / Universal bundle / Equivalence of categories / Derived category / Abstract algebra / Topology / Algebraic topology

      How analysis and topology interact in bivariant K-theory Ralf Meyer VASBI ICM Satellite Conference on K-theory and Noncommutative Geometry

      Add to Reading List

      Source URL: mate.dm.uba.ar

      Language: English - Date: 2006-09-11 06:47:49
      237Splitting lemma / Operator theory / Ordinary differential equations / Spectral theory / Theorems and definitions in linear algebra / Lemmas / Mathematics / Homological algebra

      Math. Appl), 57–78 DOI: maON A TWO-POINT BOUNDARY VALUE PROBLEM FOR THIRD-ORDER LINEAR FUNCTIONAL DIFFERENTIAL EQUATIONS. PART I.

      Add to Reading List

      Source URL: ma.fme.vutbr.cz

      Language: English - Date: 2014-02-11 10:41:46
      238Homological algebra / Cohomology theories / Sheaf theory / Commutative algebra / Algebraic topology / Homogeneous coordinate ring / Hilbert series and Hilbert polynomial / Emmy Noether / Graded algebra / Abstract algebra / Algebra / Mathematics

      Betti numbers of modules over Noetherian rings with applications to local cohomology A dissertation presented by Keivan Borna

      Add to Reading List

      Source URL: math.ipm.ac.ir

      Language: English - Date: 2011-10-28 13:03:00
      239Homological algebra / Morphisms / Commutative algebra / Gorenstein ring / Homomorphism / Homology / Pure submodule / Functors / Projective module / Abstract algebra / Algebra / Module theory

      Gorenstein Homology, Relative Pure Homology and Virtually Gorenstein Rings

      Add to Reading List

      Source URL: math.ipm.ac.ir

      Language: English - Date: 2014-11-14 13:12:22
      UPDATE